Stéphane Ducasse published as Technical Report of the Institut für Informatik und Angewandte Mathematik University of Bern , Switzerland
نویسنده
چکیده
Classification: 68-02 Research Exposition, 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [New MSC2000 code] 68U35 Information systems (hypertext navigation, interfaces, decision support, etc.) [New MSC2000 code] D.2 Software Engineering, D.2.2 Tools and Techniques, D.2.7 Distribution and Maintenance. D.3.1 [Programming Languages]: D.3.2 Language Classifications, D.3.3 Language Constructs and Features (E.2), 68N15 Programming languages, 68N19 Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) [New MSC2000 code]
منابع مشابه
Unfolding feasible arithmetic and weak truth
In this paper we continue Feferman’s unfolding program initiated in [11] which uses the concept of the unfolding U(S) of a schematic system S in order to describe those operations, predicates and principles concerning them, which are implicit in the acceptance of S. The program has been carried through for a schematic system of non-finitist arithmetic NFA in Feferman and Strahm [13] and for a s...
متن کاملRobustness Tests for Public Transport Planning
1 Institut für Straßenund Verkehrswesen, Universität Stuttgart, Stuttgart, Germany [email protected] 2 Institut für Informatik, Martin-Luther-Universität Halle-Wittenberg, Halle, Germany [email protected] 3 Institut für Informatik, Martin-Luther-Universität Halle-Wittenberg, Halle, Germany [email protected] 4 Institut für Numerische und Angewand...
متن کاملClustering of Web Documents Using a Graph Model
Department of Computer Science and Engineering, University of South Florida, 4202 E. Fowler Ave. ENB 118 Tampa, FL, 33620, USA E-mail: aschenke, [email protected] Department of Information Systems Engineering, Ben-Gurion University of the Negev Beer-Sheva 84105, Israel E-mail: [email protected] Inst. Fur Informatik und angewandte Mathematik, Department of Computer Science, University of...
متن کاملValidation of water vapour measurements from AMOS
1 University of Bern, Bern, Switzerland 2 Max-Planck-Institute for Biogeochemistry, Jena, Germany 3 Institut für Meteorologie und Klimaforschung, Karlsruhe, Germany 4 Central Aerological Observatory, Moscow Region, Russia 5 Forschungszentrum Jülich GmbH, Jülich, Germany 6 DLR, Institut fuer Physik der Atmosphaere, Oberpfaffenhofen, Germany 7 Chalmers University of Technology, Göteborg, Sweden *...
متن کاملThe ITHACA Application Development Environment
The goal of ITHACA is to produce a complete object-oriented application development environment. This paper reports on the status of ITHACA in relation to this ambitious goal concentrating on the tools comprising the application development environment. Some general observations and recommendations are made concerning the integration of the tools. Future directions of the project are also outli...
متن کامل